משרות דרושים מהנדס בכיר לאימות פורמלי - עמוד 7

מהנדס בכיר לאימות פורמלי או מהנדסת בכירה לאימות פורמלי עוסקים באימות פורמלי של מערכות חומרה ותוכנה מורכבות. תפקיד זה דורש ידע מעמיק בתורת האימות הפורמלי, הבנה של מערכות דיגיטליות, ושימוש בכלים מתקדמים לאימות פורמלי כמו Model Checking ו-SAT Solvers. השכלה נדרשת כוללת תואר ראשון לפחות בהנדסת חשמל, הנדסת מחשבים או תחום קרוב, כאשר תואר שני או דוקטורט מהווים יתרון משמעותי. מיומנויות נדרשות כוללות יכולת אנליטית גבוהה, תשומת לב לפרטים, ויכולת עבודה בצוות. ביום יום, תעסוק/י בניתוח ותכנון של מערכות, כתיבת מפרטים פורמליים, וביצוע בדיקות ואימותים כדי לוודא שהמערכת פועלת כמצופה. אם את/ה נהנה/ית מפתרון בעיות מורכבות ויש לך תשוקה לטכנולוגיה, תפקיד זה עשוי להתאים לך מאוד.